<?php session_start();

require_once("functions.php");

$_SESSION[] = array();
if(isset($_COOKIE[session_name()])) {
	setcookie(session_name(), '', time()-42000, '/');
}

session_destroy();

//echo "successfully logged out.. <a href='login.php'>Login</a> again?";
redirect("login.php?logout=1");
//header('Location: login.php?logout=1');

